<?php


class BracingStyle
{
    // Taken from Wikipedia:
    // http://en.wikipedia.org/wiki/Indent_style
    
    const KR = 0;
    
    /*
     *  if (cond) {
     *      do();
     *  } 
     */
    
    const Allman = 1;
    
    /*
     *  if (cond)
     *  {
     *      do();
     *  } 
     */
    
    static public function Defines($const)
    {
        $cls = new ReflectionClass(__CLASS__);
        foreach($cls->getConstants() as $key=>$value)
        {
            if($value == $const)
            {
                return true;
            }
        }
        
        return false;
    }
}

?>
